Red, green, refactor: writing perfect Go, with TDD
bitfieldconsulting.comยท7h
๐คAI Agent
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.comยท1d
๐คLLM
Flag this post
Imperative to Relational
๐คAI Agent
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.comยท18h
๐คLLM
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
๐คLLM
Flag this post
Parsing an HTTP Request
๐คLLM
Flag this post
Foundations for Hacking on OCaml
๐คLLM
Flag this post
Modern perspectives in proof theory (2023)
๐คLLM
Flag this post
Simplex-FEM Networks (SiFEN): Learning A Triangulated Function Approximator
arxiv.orgยท14h
๐คAI Agent
Flag this post
Understanding JavaScript Scope and Closures: A Deep Dive into Lexical Environments
๐คAI Agent
Flag this post
Condensation
lesswrong.comยท1d
๐คLLM
Flag this post
๐ฒ Weeknotes 2025 W45: Polymorphic
denisdefreyne.comยท57m
๐คAI Agent
Flag this post
Loading...Loading more...